Gestion de groupe partitionnable dans les réseaux mobiles spontanés

Dans les réseaux mobiles spontanés (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications réparties tolérantes au partitionnement. Aucune des spécifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit être assez forte pour fournir des garanties utiles aux applications réparties dans les systèmes partitionnables ; 2) elle doit être assez faible pour être résoluble. Dans cette thèse, nous proposons une solution à la gestion de groupe partitionnable en environnements réseaux très dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procédons en trois étapes. Tout d'abord, nous proposons un modèle de système réparti dynamique qui caractérise la stabilité dans les MANETs. Ensuite, nous adaptons pour les systèmes partitionnables l'approche Paxos à base de consensus Synod. Cette adaptation résulte en la spécification d'un consensus abandonnable AC construit au-dessus d'un détecteur ultime des a participants d'une partition PPD et d'un registre ultime par partition RPP. PPD garantit la vivacité dans une partition même si la partition n'est pas complètement stable tandis que RPP préserve la sûreté dans la même partition. Enfin, la gestion de groupe partitionnable est résolue en la transformant en une séquence d'instances de AC. Chacun des modules PPD, RPP, AC et gestion de groupe partitionnable est implanté et prouvé. Par ailleurs, nous analysons les performances de PPD par simulationIn Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing specifications satisfy the two following antagonistic requirements: 1) it must be strong enough to simplify the design of partition-tolerant distributed applications in partitionable systems; 2) it must be weak enough to be implantable. In this thesis, we propose a solution to partitionable group membership in very dynamic network environment such as MANETs. To this means, we proceed in three steps. First, we develop a dynamic distributed system model that characterises stability in MANETs. Then, we propose a solution to the problem of partitionable group membership by adapting Paxos for such systems. This adatation results in a specification of abortable consensus AC which is composed of an eventual a partition-participants detector PPD and an eventual register per partition RPP. PPD guarantees liveness in a partition even if the partition is not completely stable whereas RPP ensures safety in the same partition. Finally, partitionable group membership is solved by transforming it into a sequence of abortable consensus instances AC. Each of the modules PPD, RPP, AC, and partitionable group membership is implanted and proved. Next, we analyse the performances of PPD by simulationEVRY-INT (912282302) / SudocSudocFranceF

Projet INCOME : INfrastructure de gestion de COntexte Multi-Echelle pour l'Internet des Objets

International audienceCet article donne un aperçu du projet de recherche INCOME financé par l'Agence Nationale de la Recherche française en décrivant la fiche d'identité du projet, ses principaux enjeux scientifiques ainsi que les premiers résultats obtenus

Gestion de contexte multi-échelle pour l'Internet des objets

Cet article présente une architecture logicielle de gestion de contexte multi-échelle pour l'Internet des objets. Nous présentons d'abord quelques défis spécifiques auxquels est confrontée cette nouvelle génération d'intergiciels, tels que la communication répartie en modes push et pull, la sensibilité multi-échelle, et la réponse à des exigences et des garanties de qualité de l'information de contexte et de respect de la vie privée. Nous donnons ensuite la vision du projet INCOME pour répondre à ces défis en fournissant une infrastructure répartie de gestion de contexte et en assurant son déploiement de manière autonomique

Pelvic organ prolapse and collagen-associated disorders

Contains fulltext : 109010.pdf (publisher's version ) (Open Access)INTRODUCTION AND HYPOTHESIS: Pelvic organ prolapse (POP) and other disorders, such as varicose veins and joint hypermobility, have been associated with changes in collagen strength and metabolism. We hypothesized that these various disorders were more prevalent in both POP patients and their family members. METHODS: In this study, the prevalence of various collagen-associated disorders, including POP, was compared between POP patients (n = 110) and control patients (n = 100) and their first and second degree family members. RESULTS: POP patients reported a higher prevalence of varicose veins, joint hypermobility and rectal prolapse and were more likely to have family members with POP as compared to the control group (p < 0.01). In contrast, the family members of the POP group did not report a higher prevalence of collagen-associated disorders compared to the family members of the control group (p = 0.82). CONCLUSIONS: POP and other collagen-associated disorders may have a common aetiology, originating at the molecular level of the collagens.1 maart 201

Metabolic engineering of novel lignin in biomass crops

Lignin, a phenolic polymer in the secondary wall, is the major cause of lignocellulosic biomass recalcitrance to efficient industrial processing. From an applications perspective, it is desirable that second-generation bioenergy crops have lignin that is readily degraded by chemical pretreatments but still fulfill its biological role in plants. Because plants can tolerate large variations in lignin composition, often without apparent adverse effects, substitution of some fraction of the traditional monolignols by alternative monomers through genetic engineering is a promising strategy to tailor lignin in bioenergy crops. However, successful engineering of lignin incorporating alternative monomers requires knowledge about phenolic metabolism in plants and about the coupling properties of these alternative monomers. Here, we review the current knowledge about lignin biosynthesis and the pathways towards the main phenolic classes. In addition, the minimal requirements are defined for molecules that, upon incorporation into the lignin polymer, make the latter more susceptible to biomass pretreatment. Numerous metabolites made by plants meet these requirements, and several have already been tested as monolignol substitutes in biomimetic systems. Finally, the status of detection and identification of compounds by phenolic profiling is discussed, as phenolic profiling serves in pathway elucidation and for the detection of incorporation of alternative lignin monomers

Hydrogen Storage Materials for Mobile and Stationary Applications: Current State of the Art

One of the limitations to the widespread use of hydrogen as an energy carrier is its storage in a safe and compact form. Herein, recent developments in effective high-capacity hydrogen storage materials are reviewed, with a special emphasis on light compounds, including those based on organic porous structures, boron, nitrogen, and aluminum. These elements and their related compounds hold the promise of high, reversible, and practical hydrogen storage capacity for mobile applications, including vehicles and portable power equipment, but also for the large scale and distributed storage of energy for stationary applications. Current understanding of the fundamental principles that govern the interaction of hydrogen with these light compounds is summarized, as well as basic strategies to meet practical targets of hydrogen uptake and release. The limitation of these strategies and current understanding is also discussed and new directions proposed

The evolving SARS-CoV-2 epidemic in Africa: Insights from rapidly expanding genomic surveillance

INTRODUCTION Investment in Africa over the past year with regard to severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) sequencing has led to a massive increase in the number of sequences, which, to date, exceeds 100,000 sequences generated to track the pandemic on the continent. These sequences have profoundly affected how public health officials in Africa have navigated the COVID-19 pandemic. RATIONALE We demonstrate how the first 100,000 SARS-CoV-2 sequences from Africa have helped monitor the epidemic on the continent, how genomic surveillance expanded over the course of the pandemic, and how we adapted our sequencing methods to deal with an evolving virus. Finally, we also examine how viral lineages have spread across the continent in a phylogeographic framework to gain insights into the underlying temporal and spatial transmission dynamics for several variants of concern (VOCs). RESULTS Our results indicate that the number of countries in Africa that can sequence the virus within their own borders is growing and that this is coupled with a shorter turnaround time from the time of sampling to sequence submission. Ongoing evolution necessitated the continual updating of primer sets, and, as a result, eight primer sets were designed in tandem with viral evolution and used to ensure effective sequencing of the virus. The pandemic unfolded through multiple waves of infection that were each driven by distinct genetic lineages, with B.1-like ancestral strains associated with the first pandemic wave of infections in 2020. Successive waves on the continent were fueled by different VOCs, with Alpha and Beta cocirculating in distinct spatial patterns during the second wave and Delta and Omicron affecting the whole continent during the third and fourth waves, respectively. Phylogeographic reconstruction points toward distinct differences in viral importation and exportation patterns associated with the Alpha, Beta, Delta, and Omicron variants and subvariants, when considering both Africa versus the rest of the world and viral dissemination within the continent. Our epidemiological and phylogenetic inferences therefore underscore the heterogeneous nature of the pandemic on the continent and highlight key insights and challenges, for instance, recognizing the limitations of low testing proportions. We also highlight the early warning capacity that genomic surveillance in Africa has had for the rest of the world with the detection of new lineages and variants, the most recent being the characterization of various Omicron subvariants. CONCLUSION Sustained investment for diagnostics and genomic surveillance in Africa is needed as the virus continues to evolve. This is important not only to help combat SARS-CoV-2 on the continent but also because it can be used as a platform to help address the many emerging and reemerging infectious disease threats in Africa. In particular, capacity building for local sequencing within countries or within the continent should be prioritized because this is generally associated with shorter turnaround times, providing the most benefit to local public health authorities tasked with pandemic response and mitigation and allowing for the fastest reaction to localized outbreaks. These investments are crucial for pandemic preparedness and response and will serve the health of the continent well into the 21st century

Gestion de groupe partitionnable dans les réseaux mobiles spontanés

In Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing specifications satisfy the two following antagonistic requirements: 1) it must be strong enough to simplify the design of partition-tolerant distributed applications in partitionable systems; 2) it must be weak enough to be implantable. In this thesis, we propose a solution to partitionable group membership in very dynamic network environment such as MANETs. To this means, we proceed in three steps. First, we develop a dynamic distributed system model that characterises stability in MANETs. Then, we propose a solution to the problem of partitionable group membership by adapting Paxos for such systems. This adatation results in a specification of abortable consensus AC which is composed of an eventual α partition-participants detector ♢PPD and an eventual register per partition ♢RPP. ♢PPD guarantees liveness in a partition even if the partition is not completely stable whereas ♢RPP ensures safety in the same partition. Finally, partitionable group membership is solved by transforming it into a sequence of abortable consensus instances AC. Each of the modules ♢PPD, ♢RPP, AC, and partitionable group membership is implanted and proved. Next, we analyse the performances of ♢PPD by simulationDans les réseaux mobiles spontanés (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications réparties tolérantes au partitionnement. Aucune des spécifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit être assez forte pour fournir des garanties utiles aux applications réparties dans les systèmes partitionnables ; 2) elle doit être assez faible pour être résoluble. Dans cette thèse, nous proposons une solution à la gestion de groupe partitionnable en environnements réseaux très dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procédons en trois étapes. Tout d'abord, nous proposons un modèle de système réparti dynamique qui caractérise la stabilité dans les MANETs. Ensuite, nous adaptons pour les systèmes partitionnables l'approche Paxos à base de consensus Synod. Cette adaptation résulte en la spécification d'un consensus abandonnable AC construit au-dessus d'un détecteur ultime des α participants d'une partition ♢PPD et d'un registre ultime par partition ♢RPP. ♢PPD garantit la vivacité dans une partition même si la partition n'est pas complètement stable tandis que ♢RPP préserve la sûreté dans la même partition. Enfin, la gestion de groupe partitionnable est résolue en la transformant en une séquence d'instances de AC. Chacun des modules ♢PPD, ♢RPP, AC et gestion de groupe partitionnable est implanté et prouvé. Par ailleurs, nous analysons les performances de ♢PPD par simulatio

Partitionable group membership in mobile ad hoc networks

Dans les réseaux mobiles spontanés (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications réparties tolérantes au partitionnement. Aucune des spécifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit être assez forte pour fournir des garanties utiles aux applications réparties dans les systèmes partitionnables ; 2) elle doit être assez faible pour être résoluble. Dans cette thèse, nous proposons une solution à la gestion de groupe partitionnable en environnements réseaux très dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procédons en trois étapes. Tout d'abord, nous proposons un modèle de système réparti dynamique qui caractérise la stabilité dans les MANETs. Ensuite, nous adaptons pour les systèmes partitionnables l'approche Paxos à base de consensus Synod. Cette adaptation résulte en la spécification d'un consensus abandonnable AC construit au-dessus d'un détecteur ultime des α participants d'une partition ♢PPD et d'un registre ultime par partition ♢RPP. ♢PPD garantit la vivacité dans une partition même si la partition n'est pas complètement stable tandis que ♢RPP préserve la sûreté dans la même partition. Enfin, la gestion de groupe partitionnable est résolue en la transformant en une séquence d'instances de AC. Chacun des modules ♢PPD, ♢RPP, AC et gestion de groupe partitionnable est implanté et prouvé. Par ailleurs, nous analysons les performances de ♢PPD par simulationIn Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing specifications satisfy the two following antagonistic requirements: 1) it must be strong enough to simplify the design of partition-tolerant distributed applications in partitionable systems; 2) it must be weak enough to be implantable. In this thesis, we propose a solution to partitionable group membership in very dynamic network environment such as MANETs. To this means, we proceed in three steps. First, we develop a dynamic distributed system model that characterises stability in MANETs. Then, we propose a solution to the problem of partitionable group membership by adapting Paxos for such systems. This adatation results in a specification of abortable consensus AC which is composed of an eventual α partition-participants detector ♢PPD and an eventual register per partition ♢RPP. ♢PPD guarantees liveness in a partition even if the partition is not completely stable whereas ♢RPP ensures safety in the same partition. Finally, partitionable group membership is solved by transforming it into a sequence of abortable consensus instances AC. Each of the modules ♢PPD, ♢RPP, AC, and partitionable group membership is implanted and proved. Next, we analyse the performances of ♢PPD by simulatio